Enhancing the Architecture of Interactive Evolutionary Design for Exploring Heterogeneous Particle Swarm Dynamics: An In-Class Experiment Hiroki Sayama, Shelley Dionne, Craig Laramee and David Sloan Wilson making dynami

Source URL: bingweb.binghamton.edu

• Behavior
• Zoology
• Multi-agent systems
• Scientific modeling
• Ethology
• Genetic algorithm
• Swarm behaviour
• Swarm intelligence
• Evolutionary computation
• Cybernetics
• Science
• Biology

Secure Two-Party Computation with Low Communication Ivan Damg˚ard∗ Sebastian Faust† Carmit Hazay‡

Source URL: www.eng.biu.ac.il

• Complexity classes
• Probabilistic complexity theory
• Zero-knowledge proof
• Probabilistically checkable proof
• NP
• Proof of knowledge
• IP
• Non-interactive zero-knowledge proof
• Soundness
• Cryptography
• Cryptographic protocols
• Theoretical computer science

Real-time computation of interactive waves using the GPU Martijn de Jong, Auke van der Ploeg, Auke Ditzel, Kees Vuik,

Source URL: ta.twi.tudelft.nl

Limit Computable Mathematics and Interactive Computation Susumu Hayashi, Kobe University September 17, 2001 Abstract

Source URL: www.shayashi.jp

2013 IEEE Symposium on Security and Privacy A hybrid architecture for interactive verifiable computation Victor Vu, Srinath Setty, Andrew J. Blumberg, and Michael Walfish The University of Texas at Austin questions of t

Source URL: ieee-security.org

BrainCrafter: An Investigation Into Human-based Neural Network Engineering Jan Piskur, Peter Greve, Julian Togelius, and Sebastian Risi , , , Abstract—This paper pre

Source URL: julian.togelius.com

• Science
• Artificial intelligence
• Cybernetics
• Computational neuroscience
• Evolutionary computation
• Artificial neural network
• Interactive evolutionary computation
• Genetic algorithm
• Neuroevolution
• Evolutionary algorithms
• Neural networks
• Applied mathematics

TEACHING STATEMENT JED BROWN I am an advocate of incorporating frequent shifts between presentation, live demos, and interactive sessions and challenges incorporating peer instruction. In the past several years of teachi

Source URL: 59a2.org

• Numerical linear algebra
• Partial differential equations
• Numerical analysis
• Multigrid method
• Wavelets
• Portable
• Extensible Toolkit for Scientific Computation
• Domain decomposition methods
• Mathematical optimization
• Calculus
• Mathematics
• Mathematical analysis

A hybrid architecture for interactive verifiable computation Victor Vu, Srinath Setty, Andrew J. Blumberg, and Michael Walfish The University of Texas at Austin questions of the prover, and applies efficient tests to the

Source URL: www.cs.nyu.edu

• Complexity classes
• Cryptography
• Probabilistic complexity theory
• Circuit complexity
• IP
• Commitment scheme
• NP
• Randomized algorithm
• XTR
• Theoretical computer science
• Computational complexity theory
• Applied mathematics

Retraction of Probabilistic Computation and Linear Time Lance Fortnow Michael Sipser MIT Math Dept. Cambridge, MA 02139

Source URL: people.cs.uchicago.edu

• Structural complexity theory
• Complexity classes
• Models of computation
• Lance Fortnow
• Probabilistic complexity theory
• Interactive proof system
• IP
• Bounded-error probabilistic polynomial
• Probabilistic Turing machine
• Theoretical computer science
• Computational complexity theory
• Applied mathematics

SBART 2.4: an IEC Tool for Creating 2D Images, Movies, and Collage Tatsuo Unemi∗ Department of Information Systems Science Soka University

Source URL: www.intlab.soka.ac.jp

• Interactive evolutionary computation
• Function
• Mutation
• Genetic algorithm
• Cartesian coordinate system
• Mathematics
• Elementary mathematics
• Functions and mappings